1. Hardware design verification: simulation and formal method-based approaches
پدیدآورنده : Lam, William K. C.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Verification ، Integrated circuits
رده :
TK
7874
.
58
.
L36
2. Hardware design verification :simulation and formal method-based approaches. ]CD[
پدیدآورنده : Lam, William K. C., William K. Lam
موضوع : Verification ، Integrated circuits
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Hardware design verification : simulation and formal method-based approaches
پدیدآورنده : Lam, William K. C., 2691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Integrated circuits -- Verification
رده :
TK
7874
.
58
.
L248H2
